Théorème de représentation de Riesz-Markov
Réciproque à "\(J(f):=\int f\,d\mu\) est une forme linéaire positive continue".
- hypothèses :
- \(E\) est un espace métrique localement compact séparable
- \(J\) \(:\mathcal C_C(E)\to{\Bbb R}\) est une forme linéaire positive
- résultats :
- \(\forall f\in\mathcal C_C(E)\), il existe une unique mesure de Radon sur \(E\) tq $$J(f)=\int f\,d\mu$$
Mesure de Radon
